14f581f166b87afd7ce73fa77f2495d1262ce1bd,util/src/com/intellij/util/io/RandomAccessDataFile.java,RandomAccessDataFile,put,#number#number[]#number#number#,37
Before Change
try {
ourPool.flushPagesInRange(this, addr, len);
final FileChannel channel = getChannel();
channel.write(ByteBuffer.wrap(bytes, off, len), addr);
releaseChannel();
}
catch (IOException e) {
After Change
ourPool.flushPagesInRange(this, addr, len);
final RandomAccessFile file = getFile();
file.seek(addr);
file.write(bytes, off, len);
releaseFile();
}
catch (IOException e) {